4 4 1 2 2 1 1 2 Cat Cat Cat Cat N N F G F G N ! N N N N N 1 Introduction
نویسنده
چکیده
We here consider Elementary Net Systems (ENI-systems) with inhibitor arcs executed according to the semantics, and transition systems generated by them (TSENI). The relationship between nets and their transition systems is established via the notion of a region. We introduce morphisms both for the ENI-systems, and for the TSENI transition systems. We then de ne the category of ENI-systems ( ), and the category of TSENI transition systems ( ), as well as functors between them. Finally, we prove that the functors between categories and form an adjunction. .
منابع مشابه
Steric and electronic consequences of flexibility in a tetradentate redox-active ligand: Ti(IV) and Zr(IV) complexes.
A redox-active, tetradentate ligand, N,N'-bis-(3-dimethylamino-propyl)-4,5-dimethoxy-benzene-1,2-diamide ([N(2)N(2)(cat)](2-)), was developed, and the six-coordinate metal complexes [N(2)N(2)(cat)]TiCl(2) (3) and [N(2)N(2)(cat)]ZrCl(2) (4) were synthesized. The tetradentate ligand was determined to be fluxional in 3 and 4, enabled by reversible dissociation of the neutral amine groups of the [N...
متن کاملSpaces with Finitely Many Non-trivial Homotopy Groups
It is well known that the homotopy category of connected CW-complexes X whose homotopy groups n;(X) are trivial for i> 1 is equivalent to the category of groups. One of the objects of this paper is to prove a similar equivalence for the connected CW-complexes X whose homotopy groups are trivial for i > n + 1 (where n is a fixed non-negative integer). For n = 1 the notion of crossed module inven...
متن کاملHomotopy of Ends and Boundaries of CAT(0) Groups
For n ≥ 0, we exhibit CAT(0) groups that are n-connected at infinity, and have boundary which is (n− 1)-connected, but this boundary has non-trivial n-homotopy group. In particular, we construct 1ended CAT(0) groups that are simply connected at infinity, but have a boundary with non-trivial fundamental group. Our base examples are 1-ended CAT(0) groups that have non-path connected boundaries. I...
متن کاملDiverse amino acid residues function within the type 1 peroxisomal targeting signal. Implications for the role of accessory residues upstream of the type 1 peroxisomal targeting signal.
The purpose of this study was to determine whether the plant type 1 peroxisomal targeting signal (PTS1) utilizes amino acid residues that do not strictly adhere to the serine-lysine-leucine (SKL) motif (small-basic-hydrophobic residues). Selected residues were appended to the C terminus of chloramphenicol acetyltransferase (CAT) and were tested for their ability to target CAT fusion proteins to...
متن کاملP-75: Effects of Cholesterol Loaded Cyclodextrin on Cat Sperm Vitrification
Background: Cholesterol loaded cyclodextrin (CLC) efficiently protected sperm from some species. On the other hand vitrification of sperm especially in human opened a new horizon in the field of sperm freezing. The aim of the present study was to evaluate CLC on vitrification of cat sperm. Materials and Methods: Tom epididymal sperm (n=9) was extracted from epididymides and subjected to vitrifi...
متن کامل